Diploma Thesis Boolean Functions
نویسنده
چکیده
Acknowledgments First of all I would like to thank Prof. Dr. Michael Hortmann for supervising this thesis. I am very grateful for him introducing me to cryptography and supporting me to attend Eurocrypt 2011 and Asiacrypt 2011. I am also very thankful for Prof. Dr. Gregor Leander who took the part of being my second supervisor. I am indebted to my fellow students for their camaraderie and encouragement; in particular , Matthias Gehre and Mischa Jahn for proofreading, and Simon Maier for valuable language suggestions. Lastly, I wish to thank my family, Silvia Schlapp, my best friend Thilo Hoffeld and my girlfriend Wiebke Drop, for their support and patience.
منابع مشابه
Symbolic Shape Analysis Diploma Thesis
Shape analysis deals with the synthesis of invariants for programs manipulating heap-allocated data structures. Explicit shape analysis algorithms do not scale very well. This work proposes a framework for symbolic shape analysis that addresses this problem. Our contribution is a framework that allows to abstract programs with heap-allocated data symbolically by Boolean programs. For this purpo...
متن کاملDiploma Thesis
This thesis examines the computational complexity of transmission network expansion planning which is defined as follows. Given a transmission grid of generators and consumers (nodes) connected by transmission lines (edges) with certain flow capacities, where should new lines be added at minimum cost such that all given capacity constraints are fulfilled? In its original mixed-integer non-linea...
متن کاملProperty testing on boolean functions Thesis proposal
Property testing deals with the following general question: given query access to some combinatorial object, what properties of the object can one test with only a small number of queries? In this thesis, we will study property testing on boolean functions. Specifically, we will focus on two basic questions in the field: Can we characterize the set of properties on boolean functions that can be...
متن کاملUnequal Error Protection Turbo Codes Diploma Thesis
I affirm that I wrote the Diploma Thesis by my self and that I did not use other than the indicated sources and resources.
متن کاملAn Integrated Tracking And Recognition Approach For Video
This diploma thesis investigates integrated tracking and recognition in continuous sign language recogntion as well as efficient approximations to it. Current state-of-the art sign language recognition system use tracking only as a preprocessing step. Hence, tracking errors lead to recognition errors. We propose to integrate scoring functions of a model-free dynamic programming tracking framewo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012